rom 5e7ff518c12de6665bad24650e555b2c3b2304d0 Mon Sep 17 00:00:00 2001
From: Olivier Duchateau <duchateau.olivier@gmail.com>
Date: Sat, 25 Oct 2014 17:43:49 +0000
Subject: [PATCH] Add 'Hidden' option in exo desktop item editori (bug #11249).

--- exo-desktop-item-edit/exo-die-editor.h.orig	2012-12-27 12:50:31 UTC
+++ exo-desktop-item-edit/exo-die-editor.h
@@ -76,6 +76,10 @@
 void              exo_die_editor_set_terminal (ExoDieEditor     *editor,
                                                gboolean          terminal);
 
+gboolean          exo_die_editor_get_hidden   (ExoDieEditor     *editor);
+void              exo_die_editor_set_hidden   (ExoDieEditor     *editor,
+                                               gboolean          hidden);
+
 G_END_DECLS;
 
 #endif /* !__EXO_DIE_EDITOR_H__ */
